Unified Process - PDFSEARCH.IO - Document Search Engine

Unified Process
Results: 966

#	Item
81	SPECIFIC TARGETED RESEARCH PROJECT INFORMATION SOCIETY TECHNOLOGIES FP6-IST IST033606 Add to Reading List Source URL: vide.tnmsoft.de Language: English - Date: 2009-02-16 05:25:38 Software engineering Systems engineering Computing Project management Business Unified Modeling Language Model-driven engineering Diagram Object Process Methodology Visual Paradigm for UML Scientific modelling Work breakdown structure
82	International Conference on Software Language Engineering (SLE) http://www.sleconf.org/2014 Add to Reading List Source URL: www.sleconf.org Language: English - Date: 2016-03-14 05:40:57 Software engineering Computing Unified Modeling Language Scientific modeling Project management Domain-specific language Metamodeling Object Process Methodology Systems Modeling Language Business Process Model and Notation Modelica
83	Towards a Base Model for UML and OCL Verication? Frank Hilken, Philipp Niemann, Robert Wille, and Martin Gogolla University of Bremen, Computer Science Department DBremen, Germany Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-12-03 03:47:29 Software Computing Unified Modeling Language ISO standards Object Constraint Language ECO Class diagram Diagram Activity diagram Object Process Methodology Entityrelationship model YEd
84	State of Alabama Unified Judicial System PETITION FOR ADULT ADOPTION Page 1 of 3 Add to Reading List Source URL: eforms.alacourt.gov Language: English - Date: 2011-12-13 14:41:58 Petitioner Adoption Service of process Law Adoption in the Philippines
85	From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics M. Gogolla1 , L. Hamann1 , F. Hilken1∗, M. Kuhlmann1 , R. France2 1 {gogolla,lhamann,fhilken,mk}@informatik.uni-bremen Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-12-03 03:36:54 Software engineering Theoretical computer science Unified Modeling Language Computing Formal methods Object Constraint Language ECO Postcondition Object diagram Object Process Methodology Class diagram Invariant
86	Filmstripping and Unrolling: A Comparison of Verication Approaches for UML and OCL Behavioral Models? Frank Hilken, Philipp Niemann, Martin Gogolla, and Robert Wille University of Bremen, Computer Science Department Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-12-03 03:38:50 Unified Modeling Language Object Constraint Language ECO Dining philosophers problem Conceptual model Object Process Methodology
87	On Metamodel Superstructures Employing UML Generalization Features Martin Gogolla, Matthias Sedlmeier, Lars Hamann, Frank Hilken Database Systems Group, University of Bremen, Germany {gogolla\|ms\|lhamann\|fhilken}@informat Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-09-25 05:25:34 Unified Modeling Language Metamodeling Scientific modeling Software design Metaclass ECO Object Process Methodology Relational model Class Model-driven architecture Kermeta
88	Transformation of UML and OCL Models into Filmstrip Models? Frank Hilken, Lars Hamann, and Martin Gogolla University of Bremen {fhilken,lhamann,gogolla}@informatik.uni-bremen.de Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-12-03 03:38:11 Unified Modeling Language ISO standards Object Constraint Language ECO Object Process Methodology Object diagram Class diagram Postcondition Design by contract Sequence diagram Conceptual model
89	Assisted Generation of Frame Conditions for Formal Models Philipp Niemann1 1 Frank Hilken1 Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-12-09 04:53:38 Software engineering Unified Modeling Language Computing Theoretical computer science ECO Postcondition Systems Modeling Language Object Process Methodology Modeling language Profile Class diagram Economic model
90	From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification Frank Hilken1 , Philipp Niemann1 , Martin Gogolla1 , and Robert Wille1,2 1 Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2015-05-12 07:14:06 Unified Modeling Language ISO standards Architecture description language Object Constraint Language Class diagram ECO Object Process Methodology Metamodeling Element Diagram Activity diagram Object diagram

UPDATE